#!/bin/sh
rm -f "$A_OUT"
$1 "-DFOO='O K'" $2
if [ -r "$A_OUT" ]; then
  ./"$A_OUT"
else
  echo "failed"
fi
